Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
161	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
162	Using Parallel Data to Improve Part-of-speech Tagging of 17th Century Dutch Dieuwke Hupkes Ins tute for Logic, Language and Computa on, University of Amsterdam Rens Bod Add to Reading List Source URL: dhbenelux.org Language: English - Date: 2015-04-09 11:28:47 Word-sense disambiguation Science Computational linguistics Applied linguistics Linguistics Corpus linguistics Part-of-speech tagging
163	05391 Abstracts Collection Algebraic and Numerical Algorithms and Computer-assisted Proofs Dagstuhl Seminar 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2006-01-31 09:29:16 Computer algebra Complexity classes Numerical analysis Algorithm Mathematical logic Polynomial Gröbner basis Computational complexity theory NP Theoretical computer science Applied mathematics Mathematics
164	Gregory Wheeler Research Profile AOS: Epistemology (formal, traditional, social, computational); Logic & Philosophy of Science; Decision Theory, Game Theory, Foundations of Probability AOC: Philosophy of Cognitive Scienc Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-06-06 05:34:26 Knowledge Non-classical logic Paraconsistent logic Formal epistemology Statistical inference Gregory Wheeler Probabilistic logic Philosophical logic Lottery paradox Logic Science Epistemology
165	Overcoming the Knowledge Engineering Bottleneck for Understanding Student Language Input Carolyn P. Ros´e, Andy Gaydos, Brian S. Hall, Antonio Roque, and Kurt VanLehn Learning Research and Development Center, University Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:58 Semantics Mathematical logic Grammar Formal languages Computational linguistics Semantic network Well-formed formula Proposition First-order logic Logic Linguistics Science
166	The Complexity of Renaming Dan Alistarh EPFL James Aspnes Yale Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-17 23:45:06 Computer science Computational complexity theory Algorithm Mathematical logic Randomized algorithm Time complexity Adversary model Distributed computing Quantum algorithm Theoretical computer science Applied mathematics Analysis of algorithms
167	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology
168	FAST 3D MUSCLE SIMULATIONS USING A NEW QUASISTATIC INVERTIBLE FINITE-ELEMENT ALGORITHM 1 Silvia Blemker, 2Joseph Teran, 2Eftychios Sifakis, 2Ronald Fedkiw, and 1,3Scott Delp Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-09-08 13:39:59 3D modeling Computational fluid dynamics Algorithm Mathematical logic Theoretical computer science
169	W HYPER: Towards Automating Risk Assessment of Mobile Applications Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, Tao Xie North Carolina State University, Raleigh, NC, USA {rpandit, xxiao2, wei.yang}@ncsu.edu {enck Add to Reading List Source URL: www.enck.org Language: English Logic Speech recognition Information extraction Parsing Modal logic Linguistics Computational linguistics Natural language processing Science
170	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Time, space, and precision: Revisiting classic problems in computational geometry with degree-driven analysis Jack Snoeyink∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-08-04 14:37:40 Analysis of algorithms Computational complexity theory Computer arithmetic Algorithm Mathematical logic Floating point Computational geometry Time complexity Model of computation Theoretical computer science Applied mathematics Computer science

UPDATE